Diclib.com
ChatGPT AI Dictionary

Dictionary Lookup Custom Solutions

Enter a word or phrase in any language 👆

Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

how the word is used
frequency of use
it is used more often in oral or written speech
word translation options
usage examples (several phrases with translation)
etymology

axiomatic theory - translation to russian

SET OF AXIOMS FROM WHICH SOME OR ALL AXIOMS CAN BE USED IN CONJUNCTION TO LOGICALLY DERIVE THEOREMS

Axiomatization; Axiomatisation; Axiomatic method; Axiomatic framework; Axiom system; Axiomatic reasoning; Hilbert-style calculi; Axiomatic theory; Axiomatic definition; Axiomatic approach; Axiomatic logic; Axiomatic proof; Axiomatic System

axiomatic theory

математика

аксиоматическая теория

axiomatic method

общая лексика

аксиоматический метод

axiomatization

общая лексика

аксиоматизация

Смотрите также

cumulative throughflow; fractional throughflow

Definition

ИГР ТЕОРИЯ

раздел математики, предметом которого является анализ принятия оптимальных решений в условиях конфликта. Возникнув из задач классической теории вероятностей, теория игр превратилась в самостоятельный раздел в 1945-1955. Таким образом, теория игр - один из новейших разделов математики. Наиболее полное изложение идей и методов теории игр впервые появилось в 1944 в труде Теория игр и экономическое поведение (Theory of Games and Economic Behavior) математика Дж.фон Неймана (1903-1957) и экономиста О.Моргенштерна (1902-1977). Фон Нейман опубликовал несколько работ по теории игр в 1928 и 1935; другим предшественником теории игр по праву считается французский математик Э.Борель (1871-1956). Некоторые фундаментальные идеи были независимо предложены А.Вальдом (1902-1950), заложившим основы нового подхода к статистической теории принятия решений. См. также ВЕРОЯТНОСТЕЙ ТЕОРИЯ
.

Первые приложения теория игр нашла в математической статистике и в решении некоторых возникших во время второй мировой войны военных проблем специального характера. Ее использовали как плодотворный источник теоретических моделей в экономике и социологии. Методы теории игр используются также в теории операций и в линейном программировании.

См. также:

ИГР ТЕОРИЯ: ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ

ИГР ТЕОРИЯ: ИГРЫ С ПОЛНОЙ ИНФОРМАЦИЕЙ

ИГР ТЕОРИЯ: ИГРЫ В НОРМАЛЬНОЙ ФОРМЕ

Show more definitions

Wikipedia

Axiomatic system

In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.

https://en.wikipedia.org/wiki/Axiomatic system

What is the Russian for axiomatic theory? Translation of &#39axiomatic theory&#39 to Russian